Props in Model Categories and Homotopy Invariance of Structures
نویسنده
چکیده
We prove that any category of props in a symmetric monoidal model category inherits a model structure. We devote an appendix, about half the size of the paper, to the proof of the model category axioms in a general setting. We need the general argument to address the case of props in topological spaces and dg-modules over an arbitrary ring, but we give a less technical proof which applies to the category of props in simplicial sets, simplicial modules, and dg-modules over a ring of characteristic 0. We apply the model structure of props to the homotopical study of algebras over a prop. Our goal is to prove that an object X homotopy equivalent to an algebra A over a cofibrant prop P inherits a P-algebra structure so that X defines a model of A in the homotopy category of P-algebras. In the differential graded context, this result leads to a generalization of Kadeishvili’s minimal model of A∞-algebras. In honor of Tornike Kadeishvili
منابع مشابه
On Homotopy Invariance for Algebras over Colored Props
Over a monoidal model category, under some mild assumptions, we equip the categories of colored PROPs and their algebras with projective model category structures. A BoardmanVogt style homotopy invariance result about algebras over cofibrant colored PROPs is proved. As an example, we define homotopy topological conformal field theories and observe that such structures are homotopy invariant.
متن کاملOperads and Props
We review definitions and basic properties of operads, PROPs and algebras over these structures. Dedicated to the memory of Jakub Jan Ryba (1765–1815) Operads involve an abstraction of the family {Map(X, X)}n≥0 of composable functions of several variables together with an action of permutations of variables. As such, they were originally studied as a tool in homotopy theory, specifically for it...
متن کاملAcademy of Sciences of the Czech Republic Mathematical Institute Operads and Props
We review definitions and basic properties of operads, PROPs and algebras over these structures. Dedicated to the memory of Jakub Jan Ryba (1765–1815) Operads involve an abstraction of the family {Map(X, X)}n≥0 of composable functions of several variables together with an action of permutations of variables. As such, they were originally studied as a tool in homotopy theory, specifically for it...
متن کاملLawvere Categories as Composed PROPs
PROPs and Lawvere categories are related notions adapted to the study of algebraic structures borne by an object in a category, but whereas PROPs are symmetric monoidal, Lawvere categories are cartesian. This paper formulates the connection between the two notions using Lack’s technique for composing PROPs via distributive laws. We show Lawvere categories can be seen as resulting from a distrib...
متن کاملClosed model categories for presheaves of simplicial groupoids and presheaves of 2-groupoids
We prove that the category of presheaves of simplicial groupoids and the category of presheaves of 2-groupoids have Quillen closed model structures. We also show that the homotopy categories associated to the two categories are equivalent to the homotopy categories of simplicial presheaves and homotopy 2-types, respectively.
متن کامل